退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从并行DEVs模型到时间自动机的等效语义转换
Shoupeng Han; Kedi Huang;
机译:读取的并行语义处理重新判断:双语读者中翻译等同物的影响
机译:基于DEVS的环境模型最优并行仿真中轻量级时间扭曲协议的性能评估
机译:DEVS和Cell-DEVS模型的并行环境
机译:从并行DEVS模型到时间自动机的等效语义翻译
机译:大规模DEVS和Cell-DEVS模型的并行仿真算法。
机译:促进心律失常模拟:定量细胞自动机建模和并行运行的方法
机译:使用图变换将Simulink / Stateflow模型语义转换为混合自动机
机译:使用输入/输出扩展有限自动机的时间驱动simulink图的语义翻译
机译:使用输入/输出扩展有限自动机对时间驱动SIMULINK图进行语义翻译
机译:DEV&DESS模型验证的线性混合自动机转换方法及装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。